/LMAR=0/XLINE=10/FONT#0=BASL30/FONT#1=SIGN57/FONT#2=SHD40/FONT#3=BASI30/FONT#4=BASB30/FONT#5=BDR40/FONT#6=NGR20/TMAR=50/PMAR=2100/BMAR=50






␈↓"$␈↓ ↓4␈↓↓␈↓ ∧}AUTOMATED
␈↓"$␈↓ ↓4␈↓↓␈↓ β[THEORY FORMATION
␈↓"$␈↓ ↓4␈↓↓␈↓ ∧
IN MATHEMATICS






␈↓"⊂␈↓ ↓4␈↓␈↓ ¬f␈↓¬Douglas B. Lenat␈↓



␈↓"⊂␈↓ ↓4␈↓α␈↓ ∧sSTANFORD UNIVERSITY
␈↓"⊂␈↓ ↓4␈↓α␈↓ β,ARTIFICIAL INTELLIGENCE LABORATORY












␈↓"⊂␈↓ ↓4␈↓␈↓ ¬	Ph.D. Dissertation Research Proposal

␈↓"⊂␈↓ ↓4␈↓␈↓ ¬C␈↓βFourth Sketch: May 21, 1975␈↓

␈↓"⊂␈↓ ↓4␈↓␈↓ ε ␈↓εNot for distribution␈↓